281. Mathematical logic and applications: Proceedings of the Logic Meeting held in Kyoto, 1987
پدیدآورنده : J. Shinoda, T.A. Slaman, T. Tugue, eds.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
no
.
1388
282. Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
پدیدآورنده : J. Shinoda, T.A. Slaman, T. Tugue, eds,Title
موضوع : Logic, Symbolic and mathematical - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
283. Mathematical logic and applications : proceedings of the Logic Meeting held in Kyoto, 1987
پدیدآورنده : J. Shinoda, T. A. Slaman, T. Tugue, eds
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical
رده :
QA
3
.
L28
Vol
.
1388
284. Mathematical logic and applications. proceedings of the Logic Meeting held in Kyoto, 1987, Lecture notes in mathematics
پدیدآورنده : J. Shinoda, T.A. Slaman, T. Tugue )eds.(
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Logic, Symbolic and mathematical, Congresses
رده :
QA
3
.
M3
1989
285. Mathematical logic and computability
پدیدآورنده : Keisler, H. Jerome.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics ، Electronic data processing,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35
K45
1996
286. Mathematical logic and computability
پدیدآورنده : Keisler, H. Jerome
کتابخانه: (طهران)
موضوع : Logic, Symbolic and mathematical , Computable functions
رده :
QA
9
.
59
.
K44
1996
287. Mathematical logic and computability
پدیدآورنده : / H. Jerome Keisler
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Logic,symbolic and mathematical
رده :
511
.
3
K27m
288. Mathematical logic and computability
پدیدآورنده : Keisler, H. Jerome
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra
رده :
QA
9
.
K45
289. Mathematical logic and formalized theories: a survey of basic concepts and results
پدیدآورنده : / Robert Rogers
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Logic, symbolic and mathematical
رده :
511
.
3
R722
290. Mathematical logic and formalized theories; a survey of basic concepts and results
پدیدآورنده : Rogers, Robert
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
R74
291. Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968
پدیدآورنده : Ed. by Yehoshua Bar-Hillel
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Set theory
رده :
QA
9
.
I56
1968
292. Mathematical logic and foundations of set theory. Proceedings of an international colloquium under the auspices of the Israel Academy of Sciences and Humanities, Jerusalem, 11-14 November 1968
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic, symbolic and mathematical-- Congresses
رده :
QA
9
.
I54
1968
293. Mathematical logic and model theory : a brief introduction
پدیدآورنده : Prestel, Alexander, 1491-
کتابخانه: (طهران)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P743M3
294. Mathematical logic and model theory a brief introduction
پدیدآورنده : Prestel, A.)Alexander(,1491-, Alexander Prestel, Charles N. Delzell
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
169
.
M3
P7
2011
295. Mathematical logic and model theory: a brief introduction
پدیدآورنده : Prestel, A. )Alexander(
کتابخانه: المكتبة المركزية ومركز التوثيق (کلستان)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P68
M38
296. Mathematical logic and model theory: a brief introduction
پدیدآورنده : Prestel, A. )Alexander(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical,، Model theory
رده :
QA
9
.
P68
2011
297. Mathematical logic and programming language
پدیدآورنده : Hoare, C. A. R.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
298. Mathematical logic and programming languages
پدیدآورنده : edited by C.A.R. Hoare and J.C. Shepherdson
کتابخانه: (طهران)
موضوع : ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
M3646
1985
299. Mathematical logic and programming languages
پدیدآورنده : / Edited by C. A. R. Hoare, J. C. Shepherdson
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Programming languages (Electronic computers),Logic, symbolic and mathematical
رده :
QA76
.
6
.
M3646
1985
